
import re

def mk_state_name(st_name):
    return '$(STATE_NAME_PREFIX)' + re.sub(r'([a-z])([A-Z])', r'\1_\2', st_name).upper()
